大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 joint authorr 的图书(共2697本)

Formal Techniques for Distributed Systems [electronic resource] : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings

0
索取号:
作者:Hatcliff、 John.、Zucca、 Elena.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Mutational Analysis [electronic resource] : A Joint Framework for Cauchy Problems in and Beyond Vector Spaces

0
索取号:
作者:Lorenz、 Thomas.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Foundations of Software Science and Computational Structures [electronic resource] : 13th International Conference, FOSSACS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

0
索取号:
作者:Ong、 Luke.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Fundamental Approaches to Software Engineering [electronic resource] : 13th International Conference, FASE 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

0
索取号:
作者:Rosenblum、 David S.、Taentzer、 Gabriele.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Tools and Algorithms for the Construction and Analysis of Systems [electronic resource] : 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

0
索取号:
作者:Esparza、 Javier.、Majumdar、 Rupak.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Compiler Construction [electronic resource] : 19th International Conference, CC 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

0
索取号:
作者:Gupta、 Rajiv.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Programming Languages and Systems [electronic resource] : 19th European Symposium on Programming, ESOP 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings

0
索取号:
作者:Gordon、 Andrew D.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Computer Vision, Imaging and Computer Graphics. Theory and Applications [electronic resource] : International Joint Conference, VISIGRAPP 2009, Lisboa, Portugal, February 5-8, 2009. Revised Selected Papers

0
索取号:
作者:Ranchordas、 AlpeshKumar.、Pereira、 Jo茫o Madeiras.、Ara煤jo、 H茅lder J.、Tavares、 Jo茫o Manuel R. S.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Biomedical Engineering Systems and Technologies [electronic resource] : International Joint Conference, BIOSTEC 2009 Porto, Portugal, January 14-17, 2009, Revised Selected Papers

0
索取号:
作者:Fred、 Ana.、Filipe、 Joaquim.、Gamboa、 Hugo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Interactive Storytelling [electronic resource] : Second Joint International Conference on Interactive Digital Storytelling, ICIDS 2009, Guimar茫es, Portugal, December 9-11, 2009. Proceedings

0
索取号:
作者:Iurgel、 Ido A.、Zagalo、 Nelson.、Petta、 Paolo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

AI 2009: Advances in Artificial Intelligence [electronic resource] : 22nd Australasian Joint Conference, Melbourne, Australia, December 1-4, 2009. Proceedings

0
索取号:
作者:Nicholson、 Ann.、Li、 Xiaodong.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Service-Oriented Computing [electronic resource] : 7th International Joint Conference, ICSOC-ServiceWave 2009, Stockholm, Sweden, November 24-27, 2009. Proceedings

0
索取号:
作者:Baresi、 Luciano.、Chi、 Chi-Hung.、Suzuki、 Jun.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Biometric ID Management and Multimodal Communication [electronic resource] : Joint COST 2101 and 2102 International Conference, BioID_MultiComm 2009, Madrid, Spain, September 16-18, 2009. Proceedings

0
索取号:
作者:Fierrez、 Julian.、Ortega-Garcia、 Javier.、Esposito、 Anna.、Drygajlo、 Andrzej.、Faundez-Zanuy、 Marcos.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Wireless and Mobile Networking [electronic resource] : Second IFIP WG 6.8 Joint Conference, WMNC 2009, Gda艅sk, Poland, September 9-11, 2009. Proceedings

0
索取号:
作者:Wozniak、 Jozef.、Konorski、 Jerzy.、Katulski、 Ryszard.、Pach、 Andrzej R.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Foundations and Applications of Security Analysis [electronic resource] : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers

0
索取号:
作者:Degano、 Pierpaolo.、Vigan貌、 Luca.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Formal Techniques for Distributed Systems [electronic resource] : Joint 11th IFIP WG 6.1 International Conference FMOODS 2009 and 29th IFIP WG 6.1 International Conference FORTE 2009, Lisboa, Portugal, June 9-12, 2009. Proceedings

0
索取号:
作者:Lee、 David.、Lopes、 Ant贸nia.、Poetzsch-Heffter、 Arnd.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
最近添加的分类